Search results for "Binary multiplication"

showing 1 items of 1 documents

Inductive synthesis of term rewriting systems

2005

Fast algorithm for inductive synthesis of term rewriting systems is described and proved to be correct. It is implemented and successfully applied for inductive synthesis of different algorithms, including the binary multiplication. The algorithm proposed supports automatic learning process and can be used for designing and implementation of ADT.

Inductive synthesisTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESComputer scienceBinary multiplicationProcess (computing)RewritingAutomatic learningAbstract data typeAlgorithmFast algorithmTerm (time)
researchProduct